Control Constructs in a Completely Visual Imperative Programming Language University of Colorado at Boulder Control Constructs in a Completely Visual Imperative Programming Language

Visual representations of programs can facilitate program understanding by presenting aspects of programs using explicit and intuitive representations. We have designed a completely visual static and dynamic representation of an imperative programming language. Because our representation of control is completely visual, programmers of this language can understand the static and dynamic semantics of programs using the same framework. In this paper, we describe the semantics of our language, both informally and formally, focusing on support for control constructs. We also illustrate how simple programs written in this language will look both statically and dynamically. Our representation makes explicit some parts of program execution that are implicit in textual representations, thus our programs may be easier to understand.